#!/usr/bin/python
import os

path = "/vagrant/setup/redis-4.0.3.tar.gz"
if not os.path.isfile(path):
    os.system("wget -O %s http://download.redis.io/releases/redis-4.0.3.tar.gz" % path)
    os.system("cp %s ./" % path)